Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
631	Things Computer Science Tells Us About Philosophy Rudy Rucker Department of Computer Science San Jose State University, CA www.rudyrucker.com Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2005-10-30 14:57:46 Computability theory Artificial intelligence Computational neuroscience Computation A New Kind of Science Dialectic Strong AI Computer science Applied mathematics Science Clarion Workshop Rudy Rucker
632	How to Acknowledge Hypercomputation? Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Computer science Computability theory Hypercomputation Oracle machine Computability Digital physics Halting problem Computable function Decision problem Theoretical computer science Applied mathematics Theory of computation
633	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Computer science Finite-state machine Deterministic finite automaton Automata theory Models of computation Theoretical computer science
634	PDF Document Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2009-02-26 11:26:26 Algebra Recurrence relation Theory of computation
635	PDF Document Add to Reading List Source URL: all.net Language: English - Date: 2010-05-24 14:08:04 Computability theory Formal methods Models of computation Computer security Intent Military science Operating system Computer Email Computing Electronics Technology
636	PDF Document Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:21:20 Symbol Uppaal Model Checker Model theory Models of computation Formal languages Automata theory Model checkers Model checking
637	PDF Document Add to Reading List Source URL: flux.cs.queensu.ca Language: English - Date: 2014-10-30 17:26:17 Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics
638	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
639	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:14 Computer science Computability theory Models of computation Alan Turing Universal Turing machine Computability Post correspondence problem Algorithm Counter machine Theory of computation Theoretical computer science Turing machine
640	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing

UPDATE